[工作日志][2022.7.6][暑期实习/英语] 发表于 2022-07-06 更新于 2022-07-12 分类于 worklog 任务 探索三个方向 练习英语 学习lua testOS适配Imbench 流水账 小猪佩奇对小学生来说可能有些幼稚，但是对大学生来说刚刚好。挑战52天背完小猪佩奇 发现一个神奇的方向，理论计算机科学和编程语言理论，两个关键词停机问题和函数式编程 和老师第二次面谈，确定了方向细节，并且收获了几篇需要阅读的文章 Memory-Safety Challenge Considered Solved? An In-Depth Study with All Rust CVEs Benefits and Drawbacks of Adopting a Secure Programming Language: Rust as a Case Study Keeping Safe Rust Safe with Galeed